Automated analysis of compositional multi-agent systems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated analysis of compositional multi-agent systems

An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a set of dynamic properties at that level, expressed in some (temporal) language. Such behavioural specifications may be complex and difficult to analyse. To enable automated analysis of system specifications, a simpler f...

متن کامل

Compositional Formal Specification of Multi-Agent Systems

In this paper it is investigated how multi-agent systems with complex agents can be designed and formally specified based on the notion of a compositional architecture. After identifying the types of knowledge required for an agent we formally define a general multi-agent system. Moreover, a specific type of agent with various capabilities of reasoning and acting is given. Some essential patter...

متن کامل

Automated Continuous Testing of Multi-Agent Systems

Agent-based distributed systems are increasingly used in various application domains, where autonomy, proactivity and cooperation are required. Correspondingly, the demands on the quality of the delivered agents are growing. However, testing remains a challenging activity and systematic and automated approaches are still missing. We propose a novel framework for the continuous testing of multi-...

متن کامل

Compositional Synthesis of Reactive Controllers for Multi-agent Systems

In this paper we consider the controller synthesis problem for multi-agent systems that consist of a set of controlled and uncontrolled agents. Controlled agents may need to cooperate with each other and react to the actions of uncontrolled agents in order to fulfill their objectives. Besides, the controlled agents may be imperfect, i.e., only partially observe their environment, for example du...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal of Agent-Oriented Software Engineering

سال: 2010

ISSN: 1746-1375,1746-1383

DOI: 10.1504/ijaose.2010.032801